Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
201	A Course in Machine Learning Hal Daumé III 10 \| L EARNING T HEORY Add to Reading List Source URL: ciml.info Language: English - Date: 2014-09-24 16:08:31 Computational learning theory Machine learning Models of computation Computational complexity theory Probably approximately correct learning Algorithm Decision tree model VC dimension PP Theoretical computer science Applied mathematics Mathematics
202	Obtaining Universally Composable Security: Towards the Bare Bones of Trust∗ Ran Canetti† December 15, 2007 Abstract Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2007-12-18 22:27:46 Communications protocol Secure multi-party computation Common reference string model Secure two-party computation Commitment scheme Security parameter Universal composability Cryptographic protocols Data Information
203	Microsoft PowerPoint - Computational Science - Modeling & Implementation Add to Reading List Source URL: www.challenge.nm.org Language: English - Date: 2005-10-23 11:45:58 Scientific modeling Software engineering Applied mathematics Computational science Computational model Agent-based model Scientific modelling Fortran Simulation Computing Science Models of computation
204	Definition of Science: The observation, identification, description, experimental investigation, and theoretical explanation of phenomena. Computational Science What? Add to Reading List Source URL: www.challenge.nm.org Language: English - Date: 2005-10-23 11:45:58 Applied mathematics Models of computation Computational science Computational model StarLogo Mathematical model Mathematics Fortran Scientific modelling Computing Computer programming Software engineering
205	DattaKuestersMitchellRamanathan-TCC-2005.dvi Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:20:50 Computing Cryptographic protocols Models of computation Universal composability Turing machine Security parameter Computational complexity theory Actor model Ciphertext indistinguishability Theoretical computer science Applied mathematics Cryptography
206	PDF Document Add to Reading List Source URL: darwin.bth.rwth-aachen.de Language: English - Date: 2012-01-17 04:43:03 Configuration graph Determinacy Combinatorial game theory Automata theory Models of computation Finite model theory Game theory Parity game
207	Robin Milner LIST OF PUBLICATIONS, 2008 Books written 1. Edinburgh LCF; a Mechanized Logic of Computation, with M.J.C. Gordon and C.W. Wadsworth, LNCS781 , pages). Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-01-05 11:56:21 Process calculi Actor model Logic in computer science Robin Milner Bigraph Semantics of programming languages Computation Π-calculus Bunched logic Computer science Theoretical computer science Applied mathematics
208	IMPLEMENTATION OF THE TRANSACTOR MODEL: FAULT TOLERANT DISTRIBUTED COMPUTING USING ASYNCHRONOUS LOCAL CHECKPOINTING By Phillip Kuang A Thesis Submitted to the Graduate Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:52 Concurrent computing Models of computation Actor model SQL .info Continuation Fault-tolerant system Lambda calculus Parallel computing Computing Fault-tolerant computer systems Application checkpointing
209	A Delta-Driven Execution Model for Semantic Computing Roly Perera Jeff Foster György Koch Add to Reading List Source URL: dynamicaspects.org Language: English - Date: 2008-02-15 13:43:58 Programming paradigms Object-oriented programming Cross-platform software Models of computation Dataflow Function Programming language Domain-specific language Java Software engineering Computing Computer programming
210	Dependence of Adaptability on Environmental Structure in a Simple Evolutionary Model Je rey A. Fletcher Systems Science Ph.D. Program, Portland State University P.O. Box 751, Portland, OR, USA Email: je @sysc. Add to Reading List Source URL: people.reed.edu Language: English - Date: 2008-02-29 16:33:05 Models of computation Multi-agent systems Adaptation Software engineering Artificial intelligence

UPDATE